分布式系统设计中的互斥问题

介绍了互斥问题的基本概念,并针对分布式系统设计中的互斥问题分析了非基于令牌和基于令牌的两种解决方案.通过对典型算法的分析,有助于对分布式系统形成可操作的数学模型.     

BDS三频非差观测数据周跳探测与修复方法

随着三频技术的出现,多频观测量及其丰富的线性组合特性为周跳的探测与修复提供了新的契机。因此提出三频非差观测量线性组合对载波相位观测数据中周跳进行实时探测及修复的方法。该方法构造无几何无电离层的码相组合,并通过对历元间的电离层延迟变化量进行实时估计与消除,构造出第三组线性无关的周跳探测量。用30 s采样间隔的北斗三频实测数据对算法性能进行验证,试验结果表明:该方法可以有效地对各频点的周跳实现探测与修复,即使在电离层活跃的应用场景中,该方法依然具有较好的性能。     

军用航空发动机大修能力评估方法

针对航空发动机修理工厂大修能力难以评估的问题,提出了航空发动机大修能力评估方法。分析了航空发动机大修生产过程;根据航空发动机大修生产工作特点,建立了基于生产职能分解的航空发动机大修能力评估指标体系,构建出基于熵权和灰色聚类的评估指标赋权模型;结合实例验证了方法的正确性和实用性。     

随机误差对舰炮火控系统设计精度要求

针对舰炮武器系统精度设计的需求,以某型舰炮为例,采用蒙特卡洛法,利用6自由度弹道模型解算数百条弹道,求出在特定的命中概率下,火控系统修正舰艇摇摆时产生的随机误差对目标高度、水平距离及舰炮射角、射向的影响,从而对火控系统设计精度提出要求.靶场实践证明应用此方法可以提高舰炮武器系统的命中概率.     

成型铸钢件的缺陷形貌与评定

本文在显微形貌分析的基础上,运用断裂力学的方法,对射流消能器铸钢缺陷进行了分析,预测了其疲劳寿命,给出了初始缺陷的评判标准。切剖检测和跟踪统计表明,理论结果与实际情况一致。     

解冻焦散线方法与应力强度因子K_Ⅰ,K_Ⅲ的测定

本文提出了解冻焦散线的实验方法,这是一种应用光弹切片技术获得模型内部任一点焦散线图象的方法。将它用于测定平面应变状态裂纹的应力强度因子K_1,K_2,获得了满意的结果。     

雷达业务与技术勤务管理系统(RDMS)

智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

CCD摄象机在检测雷达角度跟踪系统性能中的应用

本文提出用 CCD 摄象机和单片微计算机所组成的系统实现对雷达角度跟踪性能指标的检测,这一新方法可自动录取:雷达的光轴与电轴的匹配状况;雷达角度跟踪系统的误差;当雷达跟踪空中目标时对目标录象,用以评定雷达的跟踪质量.     

多喷嘴系统控制律

大型航天器(航天飞机、空间站等)的反作用控制系统(RCS)是由多喷嘴组成,具有较高的冗佘度。本文对此系统提出一种控制律,包括控制指令的产生与分配的方法,编成程序包后,便于机载计算机实时操作。